Dan Gordon - PDFSEARCH.IO - Document Search Engine

Dan Gordon
Results: 41

#	Item
11	JavaUI: Effects for Controlling UI Object Access Colin S. Gordon, Werner M. Dietl, Michael D. Ernst, Dan Grossman University of Washington https://github.com/csgordon/javaui Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2013-10-24 14:36:26 Eclipse software Concurrent computing JFace Java Thread D Swing
12	Rely-Guarantee References for Refinement Types over Aliased Mutable Data Colin S. Gordon, Michael D. Ernst, and Dan Grossman University of Washington PLDI 2013 Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2013-10-24 14:36:30 Logic in computer science Program analysis Substructural logic Concurrent computing Aliasing Compiler construction Separation logic Alias Thread Assertion OCaml Type system
13	JavaUI : Effects for Controlling UI Object Access Colin S. Gordon, Werner Dietl, Michael D. Ernst, and Dan Grossman University of Washington {csgordon,wmdietl,mernst,djg}@cs.washington.edu Abstract. Most graphical user Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2013-11-06 23:11:33 Computing Java Type theory Swing Type system
14	Rely-Guarantee References for Refinement Types Over Aliased Mutable Data Colin S. Gordon, Michael D. Ernst, and Dan Grossman University of Washington {csgordon,mernst,djg}@cs.washington.edu Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2013-11-06 23:28:44 Theoretical computer science Denotational semantics Logic in computer science Predicate Heap Linguistics
15	JavaUI : Effects for Controlling UI Object Access (Extended Version)? Colin S. Gordon, Werner Dietl, Michael D. Ernst, and Dan Grossman University of Washington {csgordon,wmdietl,mernst,djg}@cs.washington.edu Add to Reading List Source URL: www.cs.drexel.edu Language: English - Date: 2016-03-03 13:09:40
16	Static Lock Capabilities for Deadlock Freedom Colin S. Gordon Michael D. Ernst Dan Grossman Add to Reading List Source URL: www.cs.drexel.edu Language: English - Date: 2016-03-03 13:09:40
17	The Clustering of Low-redshift z ≤ 2.2 SDSS Quasars Nic Ross Pennsylvania State University Yue Shen, Michael Strauss (Princeton), Gordon Richards (Drexel), Dan Vanden Berk, Don Schneider (PSU), Andrew Connolly Add to Reading List Source URL: sdss2008.uchicago.edu Language: English - Date: 2015-07-01 19:27:10 Astronomy Physical cosmology Quasar Radio astronomy Redshift Galaxy Physics Astronomical surveys Sloan Digital Sky Survey Redshift quantization
18	Jan Konečný a Radek Valenta DAN GORDON hra podle filmu společnosti MGM námět Barry Morrow, Add to Reading List Source URL: www.divadlopodpalmovkou.cz - Date: 2011-10-21 09:19:23
19	Calc/Solve Release Notes February 20, 2014 John Gipson, Dan MacMillan, David Gordon, Sergei Bolotin This is the first release of solve in several years. Over 150 subroutines have changed since the last release. Some of t Add to Reading List Source URL: gemini.gsfc.nasa.gov Language: English - Date: 2014-02-21 16:01:14 Computer file EAR Archive formats Computing Parchive
20	The Lyric Theatre A B E AC O N O F H O P E MOVES TO A “A new theatre can be the most Add to Reading List Source URL: www.theirelandfunds.org Language: English Belfast Patrick Galvin Brian Friel A Night in November Liam Neeson Dan Gordon Graham Reid Ciarán Hinds Theatre Lyric Theatre Irish people Nationality

UPDATE